Evsel Kat? At?k Yönetimi:Çemi?gezek Belediyesi Örne?i
نویسندگان
چکیده
Artan nüfus, üretimi ve tüketimi beraberinde getirir. Bunun sonucunda üretim tüketim a?amas?nda kullan?mdan sonra geri kalan, sahibinin istemedi?i maddelere at?k denir. At?klar, hem çevreyi de insan sa?l???n? tehdit etmektedir. ?ehirle?menin yayg?n oldu?u günümüz toplumunda, toplanan at???n bertaraf? bertaraf yöntemi çok önemlidir. yan? s?ra kayna??nda azalt?lmas? kazan?labilir k?sm?n?n de?erlendirilmesinin ülke ekonomisine katk?s? yads?namaz bir gerçektir. Yerel yönetimlerin bu konuda att??? ad?mlar yönetim s?n?rlar? içerisinde ya?ayan insanlar?n ya?am standartlar?n?, sa?l?klar?n? ekonomilerini ciddi manada etkilemektedir. Bu çal??ma ile engebeli arazi ?artlar?na sahip, ula??m olanaklar? k?s?tl?, sosyo-ekonomik geli?im imkân? zay?f olan Tunceli’nin Çemi?gezek ilçesinde çal??malar?n?n nas?l yürütüldü?ünü irdelemek amaçlanm??t?r. Çal??man?n ilk k?sm?nda ilçesinin co?rafi, tarihi, kültürel ekonomik yap?s?yla ilgili bilgiler verildi. ?kinci k?s?mda ilçenin mevcut evsel kat? politikas? ortaya kondu. Üçüncü ise konusunda gelece?e dair planlar? anlat?ld?, politika gelecek vizyonu de?erlendirildi.
منابع مشابه
Automata for KAT Expressions
Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...
متن کاملKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملATK Reaper: The Ambisonic Toolkit as JSFX plugins
While there is a well-established workflow for stereo production in DAWs, options have been more limited when working with Ambisonics. The Ambisonic Toolkit (ATK) brings together a number of tools and transforms for working with first order Ambisonic surround sound, and includes intriguing possibilities for spatial soundfield imaging. These tools have previously only been available for public r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Recep Tayyip Erdog?an U?niversitesi Fen ve Mu?hendislik Bilimleri dergisi
سال: 2021
ISSN: ['2687-2315']
DOI: https://doi.org/10.53501/rteufemud.807649